teste(X) :- X = 10.